- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Richard J. Orgass
14 found
Order:
- Meeting of the association for symbolic logic.Charles D. Parsons, Richard J. Orgass & Richmond H. Thomason - 1972 - Journal of Symbolic Logic 37 (2):430-447.
- Meeting of the Association for Symbolic Logic, New York, 1971.Charles D. Parsons, Richard J. Orgass & Richmond H. Thomason - 1972 - Journal of Symbolic Logic 37 (2):430-447.
- Donald M. Kaplan. Some completeness results in the mathematical theory of computation. Journal of the Association for Computing Machinery, vol. 15 , pp. 124–134. [REVIEW]Richard J. Orgass - 1975 - Journal of Symbolic Logic 40 (2):246-247.
- Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 10–14. [REVIEW]Richard J. Orgass - 1975 - Journal of Symbolic Logic 40 (2):246.
- Curry Haskell B.. Basic verifiability in the combinatory theory of restricted generality. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and Robinson A. for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 165–189. [REVIEW]Richard J. Orgass - 1970 - Journal of Symbolic Logic 35 (3):469-470.
- Haskell B. Curry. The deduction theorem in the combinatory theory of restricted generality. Logique et analyse, n.s. vol. 3 , pp. 15–39. [REVIEW]Richard J. Orgass - 1970 - Journal of Symbolic Logic 35 (3):468-469.
- McCarthy J.. Towards a mathematical science of computation. Information processing 1962, Proceedings oflFIP Congress 62, organized by the International Federation for Information Processing, Munich, 27 August-1 September 1962, edited by Popplewell Cicely M., North-Holland Publishing Company, Amsterdam 1963, pp. 21–28.McCarthy John. Problems in the theory of computation. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume I, edited by Kalenich Wayne A., Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 219–222. [REVIEW]Richard J. Orgass - 1971 - Journal of Symbolic Logic 36 (2):346-347.
- Rose Alan. Computer logic. Wiley-Interscience, John Wiley & Sons Ltd., London, New York, Sydney, and Toronto, 1971, xii + 180 pp. [REVIEW]Richard J. Orgass - 1978 - Journal of Symbolic Logic 43 (2):381-382.
- Review: Alan Rose, Computer Logic. [REVIEW]Richard J. Orgass - 1978 - Journal of Symbolic Logic 43 (2):381-382.
- Review: Donald M. Kaplan, Some Completeness Results in the Mathematical Theory of Computation. [REVIEW]Richard J. Orgass - 1975 - Journal of Symbolic Logic 40 (2):246-247.
- Review: Haskell B. Curry, The Deduction Theorem in the Combinatory Theory of Restricted Generality. [REVIEW]Richard J. Orgass - 1970 - Journal of Symbolic Logic 35 (3):468-469.
- Review: Haskell B. Curry, The Undecidability of $lambda$K-Conversion. [REVIEW]Richard J. Orgass - 1975 - Journal of Symbolic Logic 40 (2):246-246.
- Review: Haskell B. Curry, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Basic Verifiability in the Combinatory Theory of Restricted Generality. [REVIEW]Richard J. Orgass - 1970 - Journal of Symbolic Logic 35 (3):469-470.
- Review: J. McCarthy, Cicely M. Popplewell, Towards a Mathematical Science of Computation; John McCarthy, Wayne A. Kalenich, Problems in the Theory of Computation. [REVIEW]Richard J. Orgass - 1971 - Journal of Symbolic Logic 36 (2):346-347.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-ldh8k uwo